$\forall$${\it loc}$, $x$:Id, $L$:Knd List. @${\it loc}$: only members of $L$ read $x$ $\in$ Realizer